grep myproxy.wsl /mnt/c/Windows/System32/drivers/etc/hosts || echo "127.0.0.1 myproxy.wsl" >> /mnt/c/Windows/System32/drivers/etc/hosts || exit
grep myproxy.wsl /etc/hosts || echo "127.0.0.1 myproxy.wsl" >> /etc/hosts || exit
thisip=$(ip -f inet address show eth0 | grep inet | awk '{print $2}' | cut -d / -f 1)
sed -i "s@.*myproxy.wsl@${thisip} myproxy.wsl@g" /mnt/c/Windows/System32/drivers/etc/hosts
sed -i "s@.*myproxy.wsl@${thisip} myproxy.wsl@g" /etc/hosts
echo "windows hosts: " $(grep myproxy.wsl /mnt/c/Windows/System32/drivers/etc/hosts)
echo "linux   hosts: " $(grep myproxy.wsl /etc/hosts)
